integral by trigonometric substition